On the Languages Accepted by Watson-Crick Finite Automata with Delays
نویسندگان
چکیده
In this work, we analyze the computational power of Watson-Crick finite automata (WKFA) if some restrictions over transition function in model are imposed. We consider that imposed refer to maximum length difference between two input strands which is called delay. prove language class accepted by WKFA with such a proper subclass languages arbitrary general. addition, initiate study classes characterized WKFAs bounded delays. results means various relationships and sticker systems.
منابع مشابه
Watson-Crick Quantum Finite Automata
one-way quantum finite automata are reversible in nature, which greatly reduces its accepting property. In fact, the set of languages accepted by one-way quantum finite automata is a proper subset of regular languages. In this paper, we replace the tape head of one-way quantum finite automata with DNA double strand and name the model Watson-Crick quantum finite automata. The noninjective comple...
متن کامل5′→ 3′ Sensing Watson-Crick Finite Automata
DNA computers provide new paradigms of computing (Păun et al., 1998). They appeared at the end of the last century. In contrast, the theory of finite automata is well developed and intensively used in both theory and practice. The Watson-Crick automata, introduced in (Freund et al., 1997), relate to both fields. They are important in the field of (DNA) computing and have important relation to f...
متن کاملLanguages Accepted by Integer Weighted Finite Automata
We study the family of languages accepted by the integer weighted nite automata. Especially the closure properties of this family are investigated.
متن کاملOn Local Testability in Watson-Crick Finite Automata
Watson-Crick finite automata were first proposed in [2] inspired by formal language theory, finite states machines and some ingredients from DNA computing such as working with molecules as double stranded complementary strings. Here, we define different kinds of local testability in this model. Mainly, we will explore local testability in the upper (lower) strand and in the double strand.
متن کاملHierarchies of Stateless Multicounter 5′ → 3′ Watson-Crick Automata Languages
We consider stateless counter machines which mix the features of one-head counter machines and a special type of two-head Watson-Crick automata (WK-automata). Our Watson-Crick counter machines are biologically motivated. They have two heads that read the input starting from the two extremes. The reading process is finished when there are no more symbols between the heads, i.e., every letter of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematics
سال: 2021
ISSN: ['2227-7390']
DOI: https://doi.org/10.3390/math9080813